Total Books: 1 - 1 /1
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Weiterlesen
Total Books: 1 - 1 /1
